Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
621	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
622	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
623	Two-dimensional Totalistic Code 52 Todd Rowland Senior Research Associate, Wolfram Research, Inc. 100 Trade Center Drive, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Science Mathematics Cellular automaton Turing machine Elementary cellular automaton Rule 90 A New Kind of Science Rule 110 Stephen Wolfram Cellular automata Wolfram Research Theory of computation
624	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
625	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
626	Computing on Encrypted Data Secure Internet of Things Seminar David Wu January, 2015 New Applications in the Internet of Things Add to Reading List Source URL: iot.stanford.edu Language: English - Date: 2015-01-12 23:28:56 Secure multi-party computation Homomorphic encryption Computational complexity theory Computing Boolean circuit Circuit Mathematics Verifiable computing Secure two-party computation Cryptographic protocols Cryptography Applied mathematics
627	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
628	Distributed Computation of Determinants with NTL and MPI∗ Min Hur† (undergraduate student) Email: Manfred Minimair† (faculty adviser) Email: , WEB: http://minimair.org Add to Reading List Source URL: minimair.org Language: English - Date: 2007-11-20 20:53:42 Parallel computing Linear algebra Matrix theory Determinants Message Passing Interface Resultant Matrix Computer cluster Distributed computing Algebra Mathematics Computing
629	Complexity and Universality of Iterated Finite Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Automata theory Computer science Cellular automata Computability theory Cellular automaton Finite-state machine Finite state transducer A New Kind of Science Turing machine Theory of computation Models of computation Theoretical computer science
630	Summer Lecture Series 2002 Dynamical Systems Model of the Simple Genetic Algorithm Introduction to Michael Vose’s Theory Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-06-21 16:40:24 Genetic algorithms Mathematics Science Evolutionary computation Algorithm Crossover Evolution Cybernetics Applied mathematics Mathematical optimization

UPDATE